- квантор всеобщности
- n
math. universele kwantor, al-kwantor
Dutch-russian dictionary. 2013.
квантор всеобщности
Смотреть что такое "квантор всеобщности" в других словарях:
Квантор всеобщности — Квантор всеобщности (обозначения: , ∀) это условие, которое верно для всех обозначенных элементов, в отличие от квантора существования, где условие верно только для каких то отдельных из указанных чисел. Формально говоря, это квантор,… … Википедия
квантор всеобщности — — [http://www.iks media.ru/glossary/index.html?glossid=2400324] Тематики электросвязь, основные понятия EN universal quantifier … Справочник технического переводчика
Квантор существования — В предикатной логике, квантор существования (экзистенциальный квантификатор) это предикат свойства или отношения для, по крайней мере, одного элемента области определения. Он обозначается как символ логического оператора ∃ (произносится как … Википедия
Квантор — Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката и создающих выcказывание. Чаще всего упоминают: Квантор всеобщности (обозначение: , читается: «для всех…», «для каждого…» или «каждый…» … Википедия
Квантор общности — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
КВАНТОР — общее название для логических операций, к рые по предикату Р(х)строят высказывание, характеризующее область истинности предиката Р(х). В математич. логике наиболее употребительны квантор всеобщности и квантор существования Высказывание означает,… … Математическая энциклопедия
КВАНТОР — логический оператор, с помощью которого высказывание о к. л. отдельном объекте преобразуется в высказывание о совокупности (множестве) таких объектов. В логике используется два основных К.: К. общности, «V», и К. существования, «Э». В… … Философская энциклопедия
ОГРАНИЧЕННЫЙ КВАНТОР — квантор, используемый для характеризации предикатов не на всей области изменения данной предметной переменной, а на ее части, выделяемой нек рым предикатом R(х). При использовании в качестве О. к. всеобщности квантор и существования квантор… … Математическая энциклопедия
ВСЕОБЩНОСТИ КВАНТОР — логическая операция, служащая для образования высказываний с помощью оборота для всех х . В формализованных языках В. к. чаще всего обозначается . Применяются также обозначения . В. Е. Плиско … Математическая энциклопедия
ОБЩНОСТИ КВАНТОР — то же, что всеобщности квантор … Математическая энциклопедия
Квантификатор — Не путать с: Кантор фамилия, Кантор, Георг Фердинанд Людвиг Филипп известный математик Квантор общее название для логических операций, ограничивающих область истинности какого либо предиката. Чаще всего упоминают квантор всеобщности (обозначение … Википедия
